# 프로그래밍 언어 (Programming Language)

## 1. 개요
프로그래밍 언어란 인간이 컴퓨터에게 특정 작업을 수행하도록 지시하기 위해 사용하는 일련의 기호와 규칙으로 이루어진 형식 언어이다. 컴퓨터 하드웨어는 기본적으로 0과 1로 이루어진 이진수(Binary)만을 이해할 수 있으나, 인간이 이를 직접 다루기에는 효율성이 매우 낮다. 따라서 프로그래밍 언어는 인간의 논리적 사고를 컴퓨터가 이해할 수 있는 기계어로 변환해주는 매개체 역할을 하며, 현대 소프트웨어 개발의 핵심적인 도구로 기능한다.

## 2. 프로그래밍 언어의 역사와 발전
프로그래밍 언어는 하드웨어의 제어 방식에서 시작하여 점차 인간 중심의 추상화 단계로 발전해 왔다.

*   **초기 단계 (1940s-1950s):** 기계어와 어셈블리어와 같이 하드웨어에 종속적인 언어가 사용되었다. 이후 최초의 고급 언어인 포트란(Fortran, 과학 계산용)과 코볼(COBOL, 사무 처리용)이 등장하며 생산성이 비약적으로 향상되었다.
*   **구조적 프로그래밍 시대 (1960s-1970s):** 스파게티 코드(복잡하게 얽힌 코드) 문제를 해결하기 위해 C 언어와 같은 구조적 언어가 등장했다. 이는 함수와 제어문을 통해 프로그램의 흐름을 명확히 하는 데 기여했다.
*   **객체 지향 시대 (1980s-1990s):** 소프트웨어의 규모가 커짐에 따라 유지보수와 재사용성이 중요해졌고, 데이터와 기능을 하나로 묶는 객체 지향 언어인 C++, Java 등이 주류가 되었다.
*   **현대적 발전 (2000s-현재):** 생산성을 극대화한 스크립트 언어(Python, JavaScript)의 확산과 더불어, 메모리 안전성과 동시성을 강조한 Rust, Kotlin, Swift 등의 현대적 언어들이 등장하고 있다.

## 3. 프로그래밍 언어의 분류
추상화 수준(Abstraction Level)에 따라 크게 저급 언어와 고급 언어로 분류한다. 추상화란 복잡한 내부 구현을 숨기고 사용자에게 필요한 인터페이스만을 제공하는 것을 의미한다.

| 구분 | 저급 언어 (Low-level Language) | 고급 언어 (High-level Language) |
| :--- | :--- | :--- |
| **정의** | 하드웨어 구조에 밀접한 언어 | 인간의 언어(영어 등)와 유사한 언어 |
| **종류** | 기계어, 어셈블리어 | C, Java, Python, Rust 등 |
| **특징** | 실행 속도가 매우 빠르고 메모리 제어가 정밀함 | 학습 곡선이 낮고 개발 생산성이 높음 |
| **이식성** | 특정 CPU 아키텍처에 종속적 (낮음) | 다양한 플랫폼에서 실행 가능 (높음) |
| **가독성** | 매우 낮음 (숫자나 짧은 기호 위주) | 높음 (의미 있는 단어 사용) |

## 4. 프로그래밍 패러다임
패러다임이란 프로그래밍을 하는 방식이나 철학을 의미하며, 하나의 언어가 하나의 패러다임만 가지는 것은 아니다.

*   **명령형 프로그래밍 (Imperative Programming):** 상태를 변경하며 '어떻게(How)' 작업을 수행할지를 단계별로 기술하는 방식이다. (예: C, Pascal)
    ```c
    int sum = 0;
    for (int i = 1; i <= 10; i++) {
        sum += i;
    }
    ```
*   **선언형 프로그래밍 (Declarative Programming):** '무엇을(What)' 달성할 것인지에 집중하며, 구체적인 제어 흐름은 시스템에 맡기는 방식이다. (예: SQL, HTML)
    ```sql
    SELECT name FROM users WHERE age >= 20;
    ```
*   **객체 지향 프로그래밍 (Object-Oriented Programming, OOP):** 데이터와 그 데이터를 처리하는 메서드를 '객체'라는 단위로 묶어 관리하는 방식이다. 캡슐화, 상속, 다형성이 핵심 개념이다. (예: Java, C#)
    ```java
    class Dog extends Animal {
        void sound() { System.out.println("Bark"); }
    }
    ```
*   **함수형 프로그래밍 (Functional Programming):** 계산을 수학적 함수의 평가로 취급하며, 상태 변경과 가변 데이터를 피하는 방식이다. 불변성(Immutability)을 강조한다. (예: Haskell, Lisp)
    ```haskell
    sumList = foldl (+) 0 [1..10]
    ```

### [최신 트렌드] 멀티 패러다임 언어
최근의 언어들은 특정 패러다임에 갇히지 않고 여러 방식을 혼합하여 사용하는 **멀티 패러다임(Multi-paradigm)** 경향을 보인다.
*   **Python:** 객체 지향과 함수형 프로그래밍 요소를 모두 갖추고 있다.
*   **Rust:** 명령형의 성능과 함수형의 안전성, 객체 지향의 구조적 특징을 결합했다.
*   **Swift/Kotlin:** 현대적인 객체 지향 언어이면서도 강력한 함수형 프로그래밍 문법을 지원한다.

## 5. 타입 시스템: 정적 타입 vs 동적 타입
변수의 타입(자료형)을 결정하고 검사하는 시점에 따라 다음과 같이 나뉜다.

*   **정적 타입 언어 (Statically Typed Language):** 컴파일 단계에서 타입이 결정된다. 변수 선언 시 타입을 명시해야 하며, 타입 불일치 시 컴파일 에러가 발생하여 안정성이 높다. (예: Java, C++, Go)
*   **동적 타입 언어 (Dynamically Typed Language):** 프로그램 실행 중(Runtime)에 타입이 결정된다. 변수 선언 시 타입을 명시하지 않아도 되며, 유연한 코딩이 가능하지만 실행 중 타입 에러가 발생할 위험이 있다. (예: Python, JavaScript, Ruby)

## 6. 언어의 실행 방식 (번역 과정)
인간이 작성한 소스 코드는 컴퓨터가 이해할 수 있는 기계어로 변환되어야 한다.

| 구분 | 컴파일러 (Compiler) | 인터프리터 (Interpreter) |
| :--- | :--- | :--- |
| **작동 방식** | 소스 코드 전체를 한 번에 기계어로 번역 후 실행 파일 생성 | 코드를 한 줄씩 읽어 즉시 실행 |
| **실행 속도** | 번역 과정은 느리나, 실행 속도는 매우 빠름 | 번역 과정은 없으나, 실행 속도는 상대적으로 느림 |
| **수정/디버깅** | 수정 후 다시 전체를 컴파일해야 함 | 수정 후 즉시 실행하여 결과를 확인할 수 있음 |
| **대표 언어** | C, C++, Rust, Go | Python, Ruby, JavaScript |

*   **하이브리드 방식:** Java와 같은 언어는 소스 코드를 바이트코드(Bytecode)로 컴파일한 뒤, JVM(Java Virtual Machine)이라는 가상 머신에서 실행한다.
*   **JIT(Just-In-Time) 컴파일러:** 인터프리터 방식의 느린 실행 속도를 보완하기 위해 도입된 기술이다. 프로그램 실행 중에 자주 호출되는 코드 블록을 실시간으로 기계어로 번역하여 캐싱함으로써, 인터프리터의 유연성과 컴파일러의 성능을 동시에 확보한다.

## 7. 프로그래밍 언어의 구성 요소
대부분의 프로그래밍 언어는 다음과 같은 공통적인 문법적 요소를 가진다.

### 7.1 기본 구성 요소
*   **변수(Variable) 및 자료형(Data Type):** 데이터를 저장하는 공간과 그 데이터의 종류(정수, 실수, 문자열, 불리언 등).
*   **제어문(Control Statement):** 프로그램의 흐름을 제어하는 조건문(`if`, `switch`)과 반복문(`for`, `while`).
*   **함수(Function/Method):** 특정 작업을 수행하는 코드의 묶음으로, 재사용성을 높인다.
*   **구문론(Syntax):** 언어의 문법적 규칙. (예: 문장의 끝에 세미콜론 `;`을 붙이는 규칙)
*   **의미론(Semantics):** 작성된 코드가 실제로 어떤 동작을 수행하는지에 대한 의미.

### 7.2 언어별 구현 비교 (Hello World 및 간단한 합계 로직)
동일한 로직을 서로 다른 특성의 언어로 구현한 예시이다.

**[C - 정적 타입, 메모리 직접 제어]**
*특징: 헤더 파일 포함 및 명시적 타입 선언, 하드웨어에 가까운 저수준 제어 가능*
```c
#include <stdio.h>

int main() {
    int a = 10;
    int b = 20;
    printf("Sum: %d\n", a + b);
    return 0;
}
```

**[Java - 정적 타입, 클래스 기반 객체 지향]**
*특징: 모든 코드가 클래스 내부에 존재해야 하는 엄격한 객체 지향 구조*
```java
public class Main {
    public static void main(String[] args) {
        int a = 10;
        int b = 20;
        System.out.println("Sum: " + (a + b));
    }
}
```

**[Python - 동적 타입, 스크립트 방식]**
*특징: 타입 선언이 필요 없는 간결한 문법과 빠른 프로토타이핑 가능*
```python
a = 10
b = 20
print(f"Sum: {a + b}")
```

## 8. 언어 선택 기준 및 생태계
특정 프로젝트에 적합한 언어를 선택할 때는 단순히 언어의 성능뿐만 아니라 다음과 같은 요소를 고려해야 한다.

1.  **개발 목적:**
    *   **시스템 프로그래밍:** 하드웨어 제어 및 고성능 필요 $\rightarrow$ C, C++, Rust
    *   **웹 프론트엔드:** 브라우저 실행 필요 $\rightarrow$ JavaScript, TypeScript
    *   **데이터 분석 및 AI:** 풍부한 수학 라이브러리 필요 $\rightarrow$ Python, R
    *   **엔터프라이즈 서버:** 안정성과 대규모 아키텍처 $\rightarrow$ Java, C#
    *   **모바일 앱:** OS 최적화 $\rightarrow$ Swift(iOS), Kotlin(Android)
2.  **생태계(Ecosystem):**
    *   **라이브러리 및 프레임워크:** 이미 구현된 기능의 집합체(Library)와 개발 뼈대(Framework)가 얼마나 풍부한가가 개발 속도를 결정한다.
    *   **커뮤니티:** 문제 발생 시 해결 방법을 찾을 수 있는 Stack Overflow, GitHub 등의 커뮤니티 활성화 정도가 중요하다.
    *   **도구 지원:** IDE(통합 개발 환경), 디버거, 패키지 매니저 등의 도구 지원 수준을 고려한다.

## [관련 항목]
*   [[추상화]] - 복잡한 시스템을 단순화하여 표현하는 개념
*   [[캡슐화]] - 데이터와 메서드를 하나로 묶고 외부 접근을 제한하는 OOP 원칙
*   [[다형성]] - 하나의 인터페이스가 다양한 형태로 동작하는 성질
*   [[바이트코드]] - 가상 머신이 실행할 수 있도록 컴파일된 중간 단계의 코드
*   [[컴파일러]] / [[인터프리터]] - 소스 코드를 기계어로 변환하는 도구들